Constraint algebra - PDFSEARCH.IO - Document Search Engine

Constraint algebra
Results: 94

#	Item
21	The LIR Domain Decomposition System applied to Cartesian Grids July 12, 2012 We introduce a novel multi-dimensional domain decomposition method. A new type of tree combines the advantages of the octree and the Add to Reading List Source URL: www-hagen.cs.uni-kl.de Language: English - Date: 2014-05-22 09:33:44 Decomposition method CW complex Numerical linear algebra Algebra Mathematics Constraint programming
22	Scheduling and SAT Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 02:59:42 Constraint programming Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Satisfiability NP-complete Model checking Theoretical computer science Applied mathematics Computational complexity theory
23	J Glob Optim:327–345 DOIs10898A scaling algorithm for polynomial constraint satisfaction problems Ferenc Domes · Arnold Neumaier Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-10-09 12:13:48 Abstract algebra Convex optimization Operations research Eigenvalues and eigenvectors Singular value decomposition Vector space Linear programming Matrix Linear least squares Algebra Mathematics Linear algebra
24	Automatically Generating Algebra Problems Rohit Singh∗ Sumit Gulwani Sriram Rajamani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-24 02:24:40 Software engineering Constraint satisfaction problem Backtracking Function FO Mathematical optimization Decomposition method Local consistency Constraint programming Mathematics Theoretical computer science
25	Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2003-12-05 12:03:46 Network flow Directed graph Local consistency Graph Flow network Multigraph Tree Boolean algebra Topological sorting Graph theory Constraint programming Directed acyclic graph
26	Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Decision trees Constraint programming Boolean algebra Binary tree Decision tree learning Constraint satisfaction Decision tree model Boolean satisfiability problem B-tree Theoretical computer science Mathematics Applied mathematics
27	Symmetric Non-Rigid Image Registration via an Adaptive Quasi-Volume-Preserving Constraint Add to Reading List Source URL: nmr.mgh.harvard.edu Language: English - Date: 2013-01-16 10:29:53 Computer vision Quantum field theory Summability methods Estimation theory Image registration Symmetry Regularization Asymmetry Homogeneous polynomial Algebra Mathematics Mathematical analysis
28	Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-01 13:42:40 Mathematics Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Unit propagation Resolution Theoretical computer science Constraint programming Applied mathematics
29	A New Approach to Consumer Theory Author(s): Kelvin J. Lancaster Source: The Journal of Political Economy, Vol. 74, No. 2 (Apr., 1966), ppPublished by: The University of Chicago Press Stable URL: http://www.jst Add to Reading List Source URL: www.iei.liu.se Language: English - Date: 2012-03-06 04:03:46 Mathematics Consumer choice Preference Revealed preference Indifference curve Utility Budget constraint Substitute good Euclidean vector Consumer theory Algebra Economics
30	Compilation of Planning to SAT Yiqiao Wang 1 Motivation Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 10:57:49 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Solver Satisfiability Davis–Putnam algorithm Theoretical computer science Mathematics Applied mathematics

UPDATE